Julia Lawall: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Automatic program specialization for Java

Schultz, Ulrik P., Lawall, Julia L., Consel, Charles

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2003

Language:

english

File:

PDF, 1.12 MB

english, 2003

2

Faults in Linux 2.6

Palix, Nicolas, Thomas, Gaēl, Saha, Suman, Calvès, Christophe, Muller, Gilles, Lawall, Julia

Journal:

ACM Transactions on Computer Systems

Year:

2014

Language:

english

File:

PDF, 3.54 MB

english, 2014

3

Finding resource-release omission faults in Linux

Saha, Suman, Lawall, Julia, Muller, Gilles

Journal:

ACM SIGOPS Operating Systems Review

Year:

2012

Language:

english

File:

PDF, 661 KB

english, 2012

4

Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel

Bissyandé, Tegawendé F., Réveillère, Laurent, Lawall, Julia L., Muller, Gilles

Journal:

Automated Software Engineering

Year:

2016

Language:

english

File:

PDF, 1.79 MB

english, 2016

5

PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel

Hoang, Thong Van-Duc, Lawall, Julia, Tian, Yuan, Oentaryo, Richard J., Lo, David

Journal:

IEEE Transactions on Software Engineering

Year:

2019

Language:

english

File:

PDF, 1.98 MB

english, 2019

6

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Identifying Linux bug fixing patches

Tian, Yuan, Lawall, Julia, Lo, David

Year:

2012

Language:

english

File:

PDF, 407 KB

english, 2012

7

Understanding collateral evolution in Linux device drivers

Padioleau, Yoann, Lawall, Julia L., Muller, Gilles

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 774 KB

english, 2006

8

Implementing an embedded compiler using program transformation rules

Bissyandé, Tegawendé F., Réveillère, Laurent, Lawall, Julia L., Bromberg, Yérom-David , Muller, Gilles

Journal:

Software: Practice and Experience

Year:

2015

Language:

english

File:

PDF, 1.55 MB

english, 2015

9

[ACM Press the 3rd workshop - San Jose, California (2006.10.22-2006.10.22)] Proceedings of the 3rd workshop on Programming languages and operating systems linguistic support for modern operating systems - PLOS '06 - Semantic patches for documenting and automating collateral evolutions in Linux device drivers

Padioleau, Yoann, Hansen, René Rydhof, Lawall, Julia L., Muller, Gilles

Year:

2006

Language:

english

File:

PDF, 205 KB

english, 2006

10

Faults in linux

Palix, Nicolas, Thomas, Gaël, Saha, Suman, Calvès, Christophe, Lawall, Julia, Muller, Gilles

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 812 KB

english, 2012

11

[IEEE 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Raleigh, NC, USA (2016.10.2-2016.10.7)] 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Recommending Code Changes for Automatic Backporting of Linux Device Drivers

Thung, Ferdian, Le, Xuan-Bach D., Lo, David, Lawall, Julia

Year:

2016

Language:

english

File:

PDF, 284 KB

english, 2016

12

Editorial

Olivier Danvy, Julia L. Lawall

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 22 KB

english, 2001

13

Editorial

Julia Lawall, Michael Leuschel, Peter Sestoft

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 105 KB

english, 2008

14

Documenting and automating collateral evolutions in linux device drivers

Padioleau, Yoann, Lawall, Julia, Hansen, René Rydhof, Muller, Gilles

Journal:

ACM SIGOPS Operating Systems Review

Year:

2008

Language:

english

File:

PDF, 370 KB

english, 2008

15

Cleaning up copy–paste clones with interactive merging

Narasimhan, Krishna, Reichenbach, Christoph, Lawall, Julia

Journal:

Automated Software Engineering

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

16

Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization

Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 529 KB

english, 2004

17

Editorial

Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 96 KB

english, 2008

18

Static and Dynamic Program Compilation by Interpreter Specialization

Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller

Journal:

Higher-Order and Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 129 KB

english, 2000

19

Editorial

Matthias Felleisen, Julia Lawall, Manuel Serrano, Olin Shivers

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 75 KB

english, 2005

20

Semantic patches considered helpful

Muller, Gilles, Padioleau, Yoann, Lawall, Julia L., Hansen, René Rydhof

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 96 KB

english, 2006

21

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers

Yoann Padioleau, Julia L. Lawall, Gilles Muller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 310 KB

english, 2007

22

[IEEE 2014 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Victoria, BC, Canada (2014.9.29-2014.10.3)] 2014 IEEE International Conference on Software Maintenance and Evolution - Compositional Vector Space Models for Improved Bug Localization

Wang, Shaowei, Lo, David, Lawall, Julia

Year:

2014

Language:

english

File:

PDF, 485 KB

english, 2014

23

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - Energy adaptation for multimedia information kiosks

Urunuela, Richard, Muller, Gilles, Lawall, Julia L.

Year:

2006

Language:

english

File:

PDF, 813 KB

english, 2006

24

Editorial

Lawall, Julia, Puebla, Germán, Vidal, Germán

Journal:

Higher-Order and Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 121 KB

english, 2011

25

[IEEE 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) - Beijing, China (2007.10.10-2007.10.12)] 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) - A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

Burgy, Laurent, Reveillere, Laurent, Lawall, Julia L., Muller, Gilles

Year:

2007

Language:

english

File:

PDF, 324 KB

english, 2007

26

BtrPlace: A Flexible Consolidation Manager for Highly Available Applications

Hermenier, Fabien, Lawall, Julia, Muller, Gilles

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2013

Language:

english

File:

PDF, 1.32 MB

english, 2013

27

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - On global dynamics of optimal graph reduction

Lawall, Julia L., Mairson, Harry G.

Year:

1997

Language:

english

File:

PDF, 806 KB

english, 1997

28

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process

Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller

Journal:

Software: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 3.54 MB

english, 2012

29

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - Continuously measuring critical section pressure with the free-lunch profiler

David, Florian, Thomas, Gael, Lawall, Julia, Muller, Gilles

Year:

2014

Language:

english

File:

PDF, 802 KB

english, 2014

30

[ACM Press the 1993 ACM SIGPLAN symposium - Copenhagen, Denmark (1993.06.14-1993.06.16)] Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93 - Proofs by structural induction using partial evaluation

Lawall, Julia L.

Year:

1993

Language:

english

File:

PDF, 980 KB

english, 1993

31

Scheduling support for transactional memory contention management

Maldonado, Walther, Marlier, Patrick, Felber, Pascal, Suissa, Adi, Hendler, Danny, Fedorova, Alexandra, Lawall, Julia L., Muller, Gilles

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 753 KB

english, 2010

32

[ACM Press the 2011 SIGPLAN/SIGBED conference - Chicago, IL, USA (2011.04.11-2011.04.14)] Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11 - An approach to improving the structure of error-handling code in the linux kernel

Saha, Suman, Lawall, Julia, Muller, Gilles

Year:

2011

Language:

english

File:

PDF, 524 KB

english, 2011

33

[IEEE 2014 21st Asia-Pacific Software Engineering Conference (APSEC) - Jeju, South Korea (2014.12.1-2014.12.4)] 2014 21st Asia-Pacific Software Engineering Conference - An Empirical Study on the Adequacy of Testing in Open Source Projects

Kochhar, Pavneet Singh, Thung, Ferdian, Lo, David, Lawall, Julia

Year:

2014

Language:

english

File:

PDF, 315 KB

english, 2014

34

[IEEE 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS) - Montreal, QC, Canada (2015.9.28-2015.10.1)] 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS) - A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems

Cota, Guido Lena, Mokhtar, Sonia Ben, Lawall, Julia, Muller, Gilles, Gianini, Gabriele, Damiani, Ernesto, Brunie, Lionel

Year:

2015

Language:

english

File:

PDF, 342 KB

english, 2015

35

Faults in linux

Palix, Nicolas, Thomas, Gaël, Saha, Suman, Calvès, Christophe, Lawall, Julia, Muller, Gilles

Journal:

ACM SIGARCH Computer Architecture News

Year:

2011

Language:

english

File:

PDF, 812 KB

english, 2011

36

Automatic Verification of Bossa Scheduler Properties

Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

37

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Automatic recommendation of API methods from feature requests

Thung, Ferdian, Wang, Shaowei, Lo, David, Lawall, Julia

Year:

2013

Language:

english

File:

PDF, 411 KB

english, 2013

38

An approach to improving the structure of error-handling code in the linux kernel

Saha, Suman, Lawall, Julia, Muller, Gilles

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 524 KB

english, 2011

39

Editorial

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 32 KB

english, 2008

40

[IEEE 2016 28th Euromicro Conference on Real-Time Systems (ECRTS) - Toulouse, France (2016.7.5-2016.7.8)] 2016 28th Euromicro Conference on Real-Time Systems (ECRTS) - Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System

Blin, Antoine, Courtaud, Cedric, Sopena, Julien, Lawall, Julia, Muller, Gilles

Year:

2016

Language:

english

File:

PDF, 944 KB

english, 2016

41

[IEEE 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Denver, CO, USA (2017.6.26-2017.6.29)] 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - JMake: Dependable Compilation for Kernel Janitors

Lawall, Julia, Muller, Gilles

Year:

2017

Language:

english

File:

PDF, 209 KB

english, 2017

42

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Olesen, Mads Chr., Hansen, René Rydhof, Lawall, Julia L., Palix, Nicolas

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 414 KB

english, 2014

43

[IEEE 2008 IEEE International Conference on Pervasive Computing and Communications (PerCom) - Hong Kong, China (2008.03.17-2008.03.21)] 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom) - High-level Programming Support for Robust Pervasive Computing Applications

Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia

Year:

2008

Language:

english

File:

PDF, 347 KB

english, 2008

44

[IEEE Networks (DSN) - Lisbon, Portugal (2009.06.29-2009.07.2)] 2009 IEEE/IFIP International Conference on Dependable Systems & Networks - WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code

Lawall, Julia L., Brunel, Julien, Palix, Nicolas, Hansen, Rene Rydhof, Stuart, Henrik, Muller, Gilles

Year:

2009

Language:

english

File:

PDF, 286 KB

english, 2009

45

[ACM Press the 3rd workshop - San Jose, California (2006.10.22-2006.10.22)] Proceedings of the 3rd workshop on Programming languages and operating systems linguistic support for modern operating systems - PLOS '06 - Issues in holistic system design

Lawall, Julia L., Probst, Christian W., Schultz, Ulrik Pagh

Year:

2006

Language:

english

File:

PDF, 143 KB

english, 2006

46

[ACM Press the 10th workshop - Saint-Emilion, France (2002.07.01-2002.07.01)] Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10 - Capturing OS expertise in an event type system

Lawall, Julia L., Muller, Gilles, Barreto, Luciano Porto

Year:

2002

Language:

english

File:

PDF, 119 KB

english, 2002

47

[IEEE 2015 11th European Dependable Computing Conference (EDCC) - Paris, France (2015.9.7-2015.9.11)] 2015 11th European Dependable Computing Conference (EDCC) - Increasing Automation in the Backporting of Linux Drivers Using Coccinelle

Rodriguez, Luis R., Lawall, Julia

Year:

2015

Language:

english

File:

PDF, 239 KB

english, 2015

48

A tour of Tempo: a program specializer for the C language

Charles Consel, Julia L. Lawall, Anne-Françoise Le Meur

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 517 KB

english, 2004

49

[ACM Press the Seventh Workshop - Farmington, Pennsylvania (2013.11.03-2013.11.06)] Proceedings of the Seventh Workshop on Programming Languages and Operating Systems - PLOS '13 - Understanding the genetic makeup of Linux device drivers

Tschudin, Peter Senna, Réveillère, Laurent, Jiang, Lingxiao, Lo, David, Lawall, Julia, Muller, Gilles

Year:

2013

Language:

english

File:

PDF, 203 KB

english, 2013

50

[ACM Press the first ACM SIGPLAN international conference - Philadelphia, Pennsylvania, United States (1996.05.24-1996.05.26)] Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 - Optimality and inefficiency

Lawall, Julia L., Mairson, Harry G.

Year:

1996

Language:

english

File:

PDF, 977 KB

english, 1996

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски